import java.io.IOException;
import java.io.InputStream;
import java.util.ArrayList;

import edu.ksu.cis.projects.bogor.Bogor;
import edu.ksu.cis.projects.bogor.parser.BogorParser;
import edu.ksu.cis.projects.bogor.util.javacc.ParseException;
import edu.ksu.cis.projects.bogor.ast.System;


public class SHELL2 {
	
	public static void main(String[] args){
		String[] args2 = {"-c", "default.bogor1-conf", "-f", "SimpleDeadlock.bir"};
		try {
			Bogor.main(args2);
		} catch (Exception e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		}
		
	}
	
	public static void fromfile(InputStream source) throws IOException, ParseException{
		BogorParser bp = new BogorParser(source); 
		System compilationUnit = bp.System();
	    source.close();
	    ArrayList<String> parserErrors = bp.getErrors();
	}

}
